gdk: Add gdk_device_get_timestamp
authorMatthias Clasen <mclasen@redhat.com>
Fri, 26 Mar 2021 02:39:15 +0000 (22:39 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 26 Mar 2021 15:09:05 +0000 (11:09 -0400)
commit7849590a82bb40dffdc40eb5bdd3c6ad239c00cc
treee112c49e0fc485ffeef5911850866875cf8a7c5e
parent61109800122643fa402f79e718be9d8812f874ed
gdk: Add gdk_device_get_timestamp

Give each device a timestamp that reflects the last
user activity with that device, as reflected in the
events that are produced for this device.
gdk/gdkevents.c